XCSL: XML Constraint Specification Language
نویسندگان
چکیده
منابع مشابه
XCSL: XML Constraint Specification Language
After being able to mark-up text and validate its structure according to a document’s type specification, we may start thinking it would be natural to be able to validate some non-structural issues in the documents. This paper is to formally discuss semantic-related aspects. In that context, we introduce a domain specific language developed for such a purpose: XCSL. XCSL is not just a language,...
متن کاملXML QoS Specification Language for Enhancing Communication Services
This paper introduces a global XML-based QoS specification language, called XQoS and an associated architecture. The design of this language is driven by the need of a global QoS description language, able to supply a complete description of applications QoS needs that can be easily mapped towards transport, network and system QoS oriented services. Moreover we propose a communication architect...
متن کاملAn XML Programming Language for Web Service Specification and Composition
XML is the lingua franca for data exchange on the Internet. Among its many possible uses, XML is ideal for publishing documents on Web sites, for storing catalogs in electronic market places, and for exchanging data between business processes. Even though some data sources will probably continue to use relational and object-relational database systems as a primary form of storage, we expect tha...
متن کاملCR-Prolog as a Specification Language for Constraint Satisfaction Problems
In this paper we describe an approach for integrating CR-Prolog and constraint programming, in which CR-Prolog is viewed as a specification language for constraint satisfaction problems. Differently from other methods of integrating ASP and constraint programming, our approach has the advantage of allowing the use of off-the-shelf, unmodified ASP solvers and constraint solvers, and of global co...
متن کاملSyntax and Semantics of the Clock Constraint Specification Language (CCSL)
The UML Pro le for Modeling and Analysis of Real-Time and Embedded (MARTE) systems has recently been adopted by the OMG. Its Time Model extends the informal and simplistic Simple Time package proposed by UML2 and o ers a broad range of capabilities required to model real-time systems. The MARTE OMG speci cation introduces a Time Structure inspired from Time models of the concurrency theory and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: CLEI Electronic Journal
سال: 2018
ISSN: 0717-5000
DOI: 10.19153/cleiej.6.1.3